Nuprl Definition : mk-es0
0,22
postcript
pdf
mk-es0(
E
;
eq
;
T
;
V
;
M
;
loc
;
k
;
v
;
w
;
a
;
snds
;
sndr
;
i
;
f
;
prd
;
cl
;
p
;
q
)
== <
E
,
eq
,
T
,
V
,
M
,
,
loc
,
k
,
v
,
w
,
a
,
snds
,
sndr
,
i
,
f
,
prd
,
cl
,
p
,
q
,
>
latex
Definitions
<
a
,
b
>
,
FDL editor aliases
mk-es0
origin
,loc,k,v,w,a,snds,sndr,i,f,prd,cl,p,q,> ,loc,k,v,w,a,snds,sndr,i,f,prd,cl,p,q,>